Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
511	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
512	DEPTH (QUALIFIER) EXAMINATION IN THEORY OF COMPUTATION AND ALGORITHMS Spring, 2007 Automata, Languages and Complexity: 1. Regular languages (a) finite state automata (deterministic, nondeterministic) Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2007-02-09 21:44:57 Computability theory Models of computation Theory of computation Complexity classes John Hopcroft Alfred Aho Halting problem Turing machine Algorithm Theoretical computer science Applied mathematics Computer science
513	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
514	Capabilities and Limitations of Quantum Computers Simone Severini Cambrige, ACK: Fernando Brandao (UCL), Aram Harrow (MIT/UCL), Add to Reading List Source URL: www.turing-gateway.cam.ac.uk Language: English - Date: 2014-09-23 05:58:31 Computational complexity theory Quantum cryptography Models of computation Quantum computer Physics Quantum entanglement Theoretical computer science Applied mathematics Quantum information science
515	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 6 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:03:39 Computer programming Programming paradigms Models of computation Computer data Dataflow SISAL Lazy evaluation Parallel computing Functional programming Computing Software engineering Computer architecture
516	A Master Level Course on Modeling Self-Adaptive Systems with Graph Transformations Matthias Tichy Organic Computing, Department of Computer Science University of Augsburg, Augsburg, Germany Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:36:26 Diagrams Software engineering Knowledge Models of computation Systems theory Graph rewriting Unified Modeling Language Agent-based model System Science Cybernetics Scientific modeling
517	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† May 31, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:28:45 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum circuit Quantum computer Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
518	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
519	δ-uniform BSS Machines Paolo Boldi* Sebastiano Vigna∗ Dipartimento di Scienze dell’Informazione, Università degli Studi di Milano, Italy. Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:52:47 Computer science Theory of computation Models of computation Alan Turing Turing machine Computable number Computability Reduction NP Theoretical computer science Computability theory Applied mathematics
520	The Turing Closure of an Archimedean Field Paolo Boldi∗ Sebastiano Vigna∗ Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:52:19 Applied mathematics Theory of computation Alan Turing Models of computation Turing machine Computability Turing degree Computable number Reduction Theoretical computer science Computability theory Computer science

UPDATE